Returning and non-returning parallel communicating finite automata are equivalent
نویسندگان
چکیده
منابع مشابه
Measuring Communication in Parallel Communicating Finite Automata
Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted. The computational power and decidability properties are studied for the case of returning centralized systems, when the number of necessary communications during the computations of the system is bounded by a function depending on the leng...
متن کاملPacking Non-Returning A-Paths
Chudnovsky et al. gave a min-max formula for the maximum number of node-disjoint non-zero A-paths in group-labeled graphs [1], which is a generalization of Mader’s theorem on node-disjoint A-paths [3]. Here we present a further generalization with a shorter proof. The main feature of Theorem 2.1 is that parity is “hidden” inside ν̂, which is given by an oracle for non-bipartite matching.
متن کاملReturning Home
Returning to one's home country after many years abroad is a life-changing decision that brings with it many challenges, but at the same time, many rewards.
متن کاملMost Complex Non-returning Regular Languages
A regular language L is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of boolean operations and Kleene star, and proved that these bounds are tight using two different binary witnesses. They derived upper bounds for concatenation and reversal using t...
متن کاملPacking non-returning A-paths algorithmically
In this paper we present an algorithmic approach to packing A-paths. It is regarded as a generalization of Edmonds’ matching algorithm, however there is the significant difference that here we do not build up any kind of alternating tree. Instead we use the so-called 3-way lemma, which either provides augmentation, or a dual, or a subgraph which can be used for contraction. The method works in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2007
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita:2007014